| Ident. | Authors (with country if any) | Title |
|---|
| 000702 (2015) |
Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France] | Modal Satisfiability via SMT Solving |
| 000D54 (2014) |
Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France] | Logics with Copy and Remove |
| 001112 (2013-07-08) |
Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine] | SyMT: finding symmetries in SMT formulas |
| 001475 (2013) |
Carlos Areces [Argentine] ; Raul Fervari [Argentine] ; Guillaume Hoffmann [Argentine] | Tableaux for Relation-Changing Modal Logics |
| 001607 (2013) |
Carlos Areces [Argentine] ; Ezequiel Orbe [Argentine] | Dealing with Symmetries in Modal Tableaux |
| 002739 (2011) |
Carlos Areces [France, Argentine] ; Pascal Fontaine [France] | Combining Theories: The Ackerman and Guarded Fragments |
| 002B04 (2010-08-31) |
Carlos Areces [France] ; Santiago Figueira ; Sergio Mera [France] | The Expressive Power of Memory Logics |
| 002B38 (2010-08-12) |
Carlos Areces [France] ; Daniel Gorín [France] | Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) |
| 002B92 (2010-07-06) |
Carlos Areces [France] ; Guillaume Hoffmann [France] ; Alexandre Denis [France] | Modal Logics with Counting |
| 002E27 (2010-02-01) |
Carlos Areces [France] ; Daniel Gorin [France] | Resolution with Order and Selection for Hybrid Logics |
| 003221 (2010) |
Carlos Areces [France] ; Patrick Blackburn [France] | Special Issue on Hybrid Logics |
| 003452 (2009-07-27) |
Carlos Areces [France] ; Daniel Gorin ; Alejandra Lorenzo ; Mariano Perez Rodriguez | Testing Provers on a Grid - Framework Description |
| 003484 (2009-07-11) |
Carlos Areces [France] ; Diego Figueira [France] | Which Semantics for Neighbourhood Semantics? |
| 003493 (2009-07-06) |
Carlos Areces [France] ; Diego Figueira [France] ; Daniel Gorin ; Sergio Mera | Tableaux and Model Checking for Memory Logics |
| 003728 (2009-01-03) |
Carlos Areces [France] ; Sergio Mera ; Santiago Figueira | Completeness results for memory logics |
| 003F24 (2008-07-01) |
Carlos Areces [France] ; Diego Figueira ; Santiago Figueira ; Sergio Mera | Expressive Power and Decidability for Memory Logics |
| 003F57 (2008-06-12) |
Carlos Areces [France] ; Alexander Koller [Allemagne] ; Kristina Striegnitz [États-Unis] | Referring Expressions as Formulas of Description Logic |
| 004471 (2008) |
Carlos Areces [France] ; Rob Goldblatt | Advances in Modal Logic, Volume 7 |
| 004552 (2008) |
Carlos Areces [France] ; Stephane Demri | Methods for Modalities 2007 |
| 004637 (2007-11-29) |
Guillaume Hoffmann [France] ; Carlos Areces [France] | HTab: A Terminating Tableaux System for Hybrid Logic |
| 004638 (2007-11-29) |
Dmitry Sustretov [France] ; Guillaume Hoffmann [France] ; Carlos Areces [France] ; Patrick Blackburn [France] | Experiments in Theorem Proving for Topological Hybrid Logic |
| 005A84 (2005-03) |
Carlos Areces [France] ; Daniel Gorin | Ordered Resolution with Selection for H(@) |
| 005C13 (2005) |
Carlos Areces | Methods for Modalities 3 |
| 005C36 (2005) |
Carsten Lutz ; Carlos Areces [France] ; Ian Horrocks ; Ulrike Sattler | Keys, Nominals, and Concrete Domains |
| 006080 (2005) |
Carlos Areces ; Daniel Gorin | Ordered Resolution with Selection for H(@) |
| 006355 (2005) |
Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
| 006504 (2005) |
Carlos Areces [France] | Methods for Modalities 3 |
| 006C37 (2004) |
Carlos Areces [France] ; Raffaella Bernardi [Pays-Bas] | Analyzing the Core of Categorial Grammar |
| 007437 (2003) |
Carlos Areces [France] ; Patrick Blackburn [France] ; Maarten Marx | Repairing the interpolation theorem in Quantified Modal Logic |
| 007549 (2003) |
Carlos Areces ; Patrick Blackburn ; Maarten Marx | Repairing the interpolation theorem in Quantified Modal Logic |
| 007565 (2003) |
Carlos Areces ; Patrick Blackburn ; Maarten Marx | Repairing the Interpolation Theorem in Quantified Modal Logic |
| 007747 (2003) |
Carlos Areces ; Gabriel G. Infante-Lopez ; Maarten De Rijke | Controlled model exploration |
| 007773 (2003) |
Carlos Areces ; Patrick Blackburn ; Bernadette Martinez Hernandez ; Maarten Marx | Handling Boolean ABoxes |
| 007788 (2003) |
Carsten Lutz Lutz ; Carlos Areces ; Ian Horrocks ; Ulrike Sattler | Keys, Nominals, and Concrete Domains |
| 007789 (2003) |
Carlos Areces ; Raffaella Bernardi | In Situ Binding : A Hybrid Approach |
| 007826 (2003) |
Carlos Areces ; Juan Heguiabehere | hGen : A Random CNF Formula Generator for Hybrid Languages |
| 007E01 (2003) |
Carsten Lutz ; Carlos Areces [France] ; Ian Horrocks ; Ulrike Sattler | Keys, Nominals, and Concrete Domains |
| 007E09 (2003) |
Carlos Areces [France] ; Raffaella Bernardi | In Situ Binding: A Hybrid Approach |
| 007E17 (2003) |
Carlos Areces [France] ; Patrick Blackburn [France] ; Bernardette Martinez Hernandez ; Maarten Marx | Handling Boolean ABoxes |
| 007F06 (2003) |
Carlos Areces [France] ; Juan Heguiabehere | hGen: A Random CNF Formula Generator for Hybrid Languages |
| 008E17 (2001) |
Carlos Areces ; Patrick Blackburn [France] ; Maarten Marx | Hybrid Logic: Characterization, Interpolation and Complexity |
| 008E21 (2001) |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Bringing them all together |
| 008E23 (2001) |
Carlos Areces [France] ; Raffaella Bernardi | Analyzing the Core of Categorial Grammar |
| 008F20 (2001) |
Carlos Areces ; Patrick Blackburn ; Maarten Marx | Hybrid Logic : Characterization, Interpolation and Complexity |
| 008F76 (2001) |
Carlos Areces ; Patrick Blackburn | Journal of Logic and Computation. Special Issue on Hybrid Logic |
| 009098 (2001) |
Carlos Areces ; Patrick Blackburn | Bringing them all together |
| 009631 (2001) |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Journal of Logic and Computation. Special Issue on Hybrid Logic |
